Bezem, Marc: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Polymorphic extensions of simple type structures. With an application to a bar recursive minimization

Erik Barendsen, Marc Bezem

Journal:

Annals of Pure and Applied Logic

Year:

1996

Language:

english

File:

PDF, 3.54 MB

english, 1996

2

Completeness of resolution revisited

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 1.25 MB

english, 1990

3

A Type System for the Safe Instantiation of Components

Marc Bezem, Hoang Truong

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 283 KB

english, 2004

4

Exponential behaviour of the Butkovič–Zimmermann algorithm for solving two-sided linear systems in max-algebra

Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell

Journal:

Discrete Applied Mathematics

Year:

2008

Language:

english

File:

PDF, 405 KB

english, 2008

5

Two finite specifications of a queue

Marc Bezem, Alban Ponse

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.22 MB

english, 1997

6

Formalizing process algebraic verifications in the calculus of constructions

Marc Bezem, Roland Bol, Jan Friso Groote

Journal:

Formal Aspects of Computing

Year:

1997

Language:

english

File:

PDF, 2.44 MB

english, 1997

7

Equivalence of bar recursors in the theory of functionals of finite type

Journal:

Archive for Mathematical Logic

Year:

1988

Language:

english

File:

PDF, 541 KB

english, 1988

8

Strong normalization of barrecursive terms without using infinite terms

Journal:

Archive for Mathematical Logic

Year:

1985

Language:

english

File:

PDF, 337 KB

english, 1985

9

On the Mechanization of the Proof of Hessenberg’s Theorem in Coherent Logic

Marc Bezem, Dimitri Hendriks

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 557 KB

english, 2008

10

Developing Bounded Reasoning

Michał Walicki, Marc Bezem, Wojtek Szajnkenig

Journal:

Journal of Logic, Language and Information

Year:

2009

Language:

english

File:

PDF, 388 KB

english, 2009

11

Strong termination of logic programs

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 1.49 MB

english, 1993

12

Hard problems in max-algebra, control theory, hypergraphs and other areas

Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell

Journal:

Information Processing Letters

Year:

2010

Language:

english

File:

PDF, 203 KB

english, 2010

13

Automated Proof Construction in Type Theory Using Resolution

Marc Bezem, Dimitri Hendriks, Hans de Nivelle

Journal:

Journal of Automated Reasoning

Year:

2002

Language:

english

File:

PDF, 169 KB

english, 2002

14

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Pure type systems formalized

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 865 KB

english, 1993

15

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Program extraction from normalization proofs

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 734 KB

english, 1993

16

[Lecture Notes in Computer Science] Computer Science Logic Volume 1258 || Call-by-Value, call-by-name and the logic of values

Dalen, Dirk, Bezem, Marc

Year:

1997

Language:

english

File:

PDF, 770 KB

english, 1997

17

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Inductive definitions in the system Coq rules and properties

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 1.01 MB

english, 1993

18

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Lambda calculus characterizations of poly-time

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 745 KB

english, 1993

19

Diagram Techniques for Confluence

Marc Bezem, Jan Willem Klop, Vincent van Oostrom

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 592 KB

english, 1998

20

Acyclic programs

Krzysztof R. Apt, Marc Bezem

Journal:

New Generation Computing

Year:

1991

Language:

english

File:

PDF, 1.26 MB

english, 1991

21

Undecidable goals for completed acyclic programs

Marc Bezem, Jan Keuzenkamp

Journal:

New Generation Computing

Year:

1994

Language:

english

File:

PDF, 248 KB

english, 1994

22

On estimating the complexity of logarithmic decompositions

Marc Bezem, Jan Van Leeuwen

Journal:

Information Processing Letters

Year:

1988

Language:

english

File:

PDF, 444 KB

english, 1988

23

Expressive power of digraph solvability

Marc Bezem, Clemens Grabmayer, Michał Walicki

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 346 KB

english, 2012

24

A Descriptive Characterisation of Even Linear Languages

Tore Langholm, Marc Bezem

Journal:

Year:

2003

Language:

english

File:

PDF, 99 KB

english, 2003

25

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || A term calculus for Intuitionistic Linear Logic

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 694 KB

english, 1993

26

A type system for counting instances of software components

Bezem, Marc, Hovland, Dag, Truong, Hoang

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 388 KB

english, 2012

27

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || The undecidability of typability in the Lambda-Pi-calculus

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 304 KB

english, 1993

28

[Lecture Notes in Computer Science] Computer Science Logic Volume 1258 || Proofs in system F ω can be done in system F ω1

Dalen, Dirk, Bezem, Marc

Year:

1997

Language:

english

File:

PDF, 914 KB

english, 1997

29

On the Computational Content of the Axiom of Choice

Stefano Berardi, Marc Bezem and Thierry Coquand

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 479 KB

english, 1998

30

Compact and Majorizable Functionals of Finite Type

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 280 KB

english, 1989

31

A Kripke model for simplicial sets

Bezem, Marc, Coquand, Thierry

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 253 KB

english, 2015

32

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Translating dependent type theory into higher order logic

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 1.08 MB

english, 1993

33

Isomorphisms between HEO and HROE, ECF and ICFE

Journal:

Journal of Symbolic Logic

Year:

1985

Language:

english

File:

PDF, 786 KB

english, 1985

34

Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals

Journal:

Journal of Symbolic Logic

Year:

1985

Language:

english

File:

PDF, 550 KB

english, 1985

35

Activation of Pulmonary Dendritic Cells and Th2-Type Inflammatory Responses on Instillation of Engineered, Environmental Diesel Emission Source or Ambient Air Pollutant Particles in vivo

Bezemer, Gillina F.G., Bauer, Stephen M., Oberdörster, Günter, Breysse, Patrick N., Pieters, Raymond H.H., Georas, Steve N., Williams, Marc A.

Journal:

Journal of Innate Immunity

Year:

2011

Language:

english

File:

PDF, 1.04 MB

english, 2011

36

Semantics and Consistency of Rule based Expert Systems

Journal:

Journal of Logic and Computation

Year:

1991

Language:

english

File:

PDF, 962 KB

english, 1991

37

A Modern Perspective on Type Theory: From Its Origins until Todayby Fairouz Kamareddine; Twan Laan; Rob Nederpelt

Review by: Marc Bezem

Journal:

Bulletin of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 358 KB

english, 2006

38

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Modified realizability toposes and strong normalization proofs

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 852 KB

english, 1993

39

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Combining recursive and dynamic types

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 795 KB

english, 1993

40

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || A new characterization of lambda definability

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 731 KB

english, 1993

41

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Call-by-value and nondeterminism

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 731 KB

english, 1993

42

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Orthogonal higher-order rewrite systems are confluent

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 645 KB

english, 1993

43

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Monotonic versus antimonotonic exponentiation

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 507 KB

english, 1993

44

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Intersection types and bounded polymorphism

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 817 KB

english, 1993

45

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || A logic for parametric polymorphism

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 760 KB

english, 1993

46

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || An abstract notion of application

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 823 KB

english, 1993

47

A simple proof of the undecidability of inhabitation in λP

Bezem, Marc, Springintveld, Jan

Journal:

Journal of Functional Programming

Year:

1996

Language:

english

File:

PDF, 271 KB

english, 1996

48

A modern perspective on type theory—From its origins until today

Journal:

Bulletin of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 68 KB

english, 2006

49

Logics for Resource Bounded Agents || Developing Bounded Reasoning

Michał Walicki, Marc Bezem and Wojtek Szajnkenig

Journal:

Journal of Logic, Language and Information

Year:

2009

Language:

english

File:

PDF, 2.56 MB

english, 2009

50

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Semantics of lambda-I and of other substructure lambda calculi

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 663 KB

english, 1993